Evolutionary collective behavior decomposition model for time series data mining

In this research, we propose a novel framework referred to as collective game behavior decomposition where complex collective behavior is assumed to be generated by aggregation of several groups of agents following different strategies and complexity emerges from collaboration and competition of individuals. The strategy of an agent is modeled by certain simple game theory models with limited information. Genetic algorithms are used to obtain the optimal collective behavior decomposition based on history data. The trained model can be used for collective behavior prediction. For modeling individual behavior, two simple games, the minority game and mixed game are investigated in experiments on the real-world stock prices and foreign-exchange rate. Experimental results are presented to show the effectiveness of the new proposed model.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Distributed wireless power transfer in sensor networks with multiple Mobile Chargers

We investigate the problem of efficient wireless power transfer in wireless sensor networks. In our approach, special mobile entities (called the Mobile Chargers) traverse the network and wirelessly replenish the energy of sensor nodes. In contrast to most current approaches, we envision methods that are distributed and use limited network information. We propose four new protocols for efficient charging, addressing key issues which we identify, most notably (i) what are good coordination procedures for the Mobile Chargers and (ii) what are good trajectories for the Mobile Chargers. Two of our protocols (DC, DCLK) perform distributed, limited network knowledge coordination and charging, while two others (CC, CCGK) perform centralized, global network knowledge coordination and charging. As detailed simulations demonstrate, one of our distributed protocols outperforms a known state of the art method, while its performance gets quite close to the performance of the powerful centralized global knowledge method.     

A new decomposition based evolutionary algorithm with uniform designs for many-objective optimization

For many-objective optimization problems, how to get a set of solutions with good convergence and diversity is a difficult and challenging work. In this paper, a new decomposition based evolutionary algorithm with uniform designs is proposed to achieve the goal. The proposed algorithm adopts the uniform design method to set the weight vectors which are uniformly distributed over the design space, and the size of the weight vectors neither increases nonlinearly with the number of objectives nor considers a formulaic setting. A crossover operator based on the uniform design method is constructed to enhance the search capacity of the proposed algorithm. Moreover, in order to improve the convergence performance of the algorithm, a sub-population strategy is used to optimize each sub-problem. Comparing with some efficient state-of-the-art algorithms, e.g., NSGAII-CE, MOEA/D and HypE, on six benchmark functions, the proposed algorithm is able to find a set of solutions with better diversity and convergence.     

Copper–4,4′-dipyridyl coordination compound as solid reagent for spectrophotometric determination of reducing sugar employing a multicommutation approach

In this work a multicommuted flow system employing copper–4,4′- dipyridyl coordination compound as the solid-phase reagent for the spectrophotometric determination of reducing sugar was developed. The coordination compound was synthesized through a reaction of the 4,4′-dipyridyl and copper (II) nitrate, under hydrothermal conditions. The complex was characterized by infrared spectroscopy (FTIR), power X-ray diffraction (XRD), scanning electron microscopy (SEM), energy dispersive spectrometer (EDS) and thermogravimetric analysis (TGA). Based on the characterization, a multicommuted spectrophotometric procedure for the determination of reducing sugar using copper (II) complex as solid reagent is proposed. The proposed method was based on the redox reaction between a monosaccharide, such as fructose and glucose (reducing sugar) and Cu(II). This reaction, mediated in an alkaline medium, produces a yellow compound that can be determined by absorption electronic spectroscopy (λ_ABS = 420 nm). Under optimum experimental conditions, a linear response ranging from 1.0 to 20.0 g L⁻¹ (R = 0.9978 and n = 5), a detection (3σ criterion) and quantification (10σ criterion) limit estimated at 0.23 and 0.75 g L⁻¹, respectively, a standard deviation relative of 4.7% (n = 7), for a reference solution of 10.0 g L⁻¹ reducing sugar, and a sampling rate of 75 determinations per hour were achieved. The proposed system was applied to the determination of reducing sugars in coconut water and juices. The analysis of ten samples and the application of the t-test to the results found, and those obtained using reference procedures (AOAC), provided no significant differences at a 95% confidence level. This system enabled the analysis of reducing sugar with ease and simplicity, providing a significant economy of the solid reagent (600 μg per determination) and reducing effluent generation.     

Theoretical study of the structural,elastic and thermodynamic properties of chalcopyrite ZnGeP2

The structural, elastic, and thermodynamic properties of ZnGeP₂ with chalcopyrite structure are investigated using the pseudo-potentials plane wave method based on the density functional theory with the generalized gradient approximation. The lattice parameters (a, c and u) are directly calculated and agree well with previous experimental and theoretical results. The obtained negative formation enthalpy shows that ZnGeP₂ crystal has strong structural stability. We have also calculated the bulk modulus B and the elastic parameters (C₁₁, C₁₂, C₁₃, C₃₃, C₄₄, and C₆₆) which have not been measured yet. The accuracy and reliability of the calculated elastic constants of ZnGeP₂ crystal are discussed. In addition, the pressure and temperature dependencies of the lattice parameters, bulk modulus, Debye temperature, Grüneisen parameter, entropy, volume thermal expansion coefficient, and specific heat capacity are obtained in the ranges of 0–20 GPa and 0–1200 K using the quasi-harmonic Debye model. To our knowledge this is the first quantitative theoretical prediction of the thermodynamic properties for ZnGeP₂ compound and still awaits experimental confirmations.     

基于进化算法的常减压装置模拟

提出了基于优选优生进化算法（Select—best and prepotency evolution algorithm，SPEA）的常减压装置模拟方法。以各塔的温度分布为目标，基于生产过程和分析数据，采用SPEA确定各塔板Murphree效率，从而精确描述各塔板平衡偏离程度。在实际应用中，获得具有良好精度的常减压装置模型。系统分析了SPEA算法的关键参数——优选领域大小与计算复杂性及寻优性能之间的关系，结果显示其取值为群体规模的10％最为合适。     

Fabrication and frequency response of a complex ultrasonic transducer for multilayer evaluation

To characterize the thickness of a corrosive fluid system's coated facilities, such as pipes, tubes, tanks, and structural members, a complex ultrasonic transducer capable of measuring multilayered parts was fabricated and the time and frequency responses were evaluated. The target transducer was constructed with two active dual elements made from tape-cast PbNb₂O₆ sheets and an additional thin-film active element made from sol–gel spin-coated Pb(Zr_0.52Ti_0.48)O₃ films. After adjusting the properties of each active element, a complex transducer was assembled after matching the impedance of each element and considering the minimal interference between the active layers. The impulse response of the assembled complex transducer shows excellent characteristics. Moreover, the assembled transducer's capability of accurately measuring the thickness assures that it can be directly applied to related industries.     

Antireflection coating on InP for semiconductor detectors

Aluminum nitride thin film by RF magnetron sputtering is used to produce antireflection coating on InP. The index of refection variation of aluminum nitride for different thickness at different wavelength in the range of 400 to 1500 nm is investigated using reflection spectroscopy. Subsequent Ar+ ion implantation at 30 keV with different doses on these coated layers has been performed. The morphology of aluminum nitride after ion implantation is characterized using atomic force microscopy AFM.